<div>
  エージェント上でツールをインストールするコマンドです。
  コマンドは常に実行されるので、ツールがインストール済みであれば、コマンドは何もしないようにすべきです。
</div>
